package symbols;


public class Symbols {
	static public Symbol and = new Symbol("&");
	static public Symbol or = new Symbol("|");
	static public Symbol not = new Symbol("~");
	static public Symbol all = new Symbol("all");
	static public Symbol some = new Symbol("some");
	static public Symbol eq = new Symbol("=");
	static public Symbol lt = new Symbol("<");
	static public Symbol True = new Symbol("T");
	static public Symbol False = new Symbol("F");
	static public Symbol ROpenBrack = new Symbol("(");
	static public Symbol RCloseBrack = new Symbol(")");
	static public Symbol SOpenBrack = new Symbol("[");
	static public Symbol SCloseBrack = new Symbol("]");
}
